Computer languages - PDFSEARCH.IO - Document Search Engine

Computer languages
Results: 15814

#	Item
881	Semantics for core Concurrent ML using computation types Alan Jeffrey Abstract This paper presents two typed higher-order concurrent functional programming languages, based on Reppy’s Concurrent ML. The first is a simp Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:39:09 Theoretical computer science Logic in computer science Software engineering Formal methods Programming language semantics Models of computation Operational semantics Semantics Bisimulation Process calculus Programming language Transition system
882	mandoc from scratch to the standard BSD documentation toolkit in 6 years CDBUG, Albany NY, June 17, 2015 NYCBUG, New York City, June 18, 2015 Ingo Schwarze <> using some material from: Add to Reading List Source URL: www.openbsd.org Language: English* - Date: 2015-06-19 12:59:31 Software Computing Computer architecture Markup languages Open formats Technical communication Mandoc Groff Troff Tbl Eqn Berkeley Software Distribution
883	How to contribute as product vendor? The non-profit Open Signature Initiative aims at supporting the process of implementing a single European market of trustworthy services by enhancing transparency and interoperability Add to Reading List Source URL: opensignature.org Language: English - Date: 2013-10-10 08:17:25 Computing Smart cards Open formats Markup languages Technical communication Computer file formats Subscriber identity module ISO/IEC HTML PKCS 11 Linux kernel
884	1 Monadic Parser Combinators Graham Hutton University of Nottingham Add to Reading List Source URL: www.cs.nott.ac.uk Language: English Software engineering Computer programming Parsing Functional programming Formal languages Compiler construction Parser combinator Monad Recursive descent parser Compiler-compiler Combinatory logic Syntax
885	¨ INFORMATIK INSTITUT FUR Programmiersprachen und Rechenkonzepte 27. Workshop der GI-Fachgruppe Add to Reading List Source URL: www-ps.informatik.uni-kiel.de Language: English - Date: 2014-06-13 06:31:38 Software engineering Computing Computer programming Concurrent computing Subroutines Coroutine Java platform Control flow Procedural programming languages Yield Generator Return statement
886	Interfacing C/C++ and Python with SWIG David M. Beazley Department of Computer Science University of Chicago Chicago, Illinois 60615 Add to Reading List Source URL: swig.org Language: English - Date: 2008-03-12 19:12:21 Cross-platform software Object-oriented programming languages Scripting languages High-level programming languages SWIG Python Entry point C++ D Python syntax and semantics Pyrex
887	Smalltalk as a Service Sebastian Heidbrink IT Consultant Tricept Informationssysteme AG Tricept Informationssysteme AG Add to Reading List Source URL: www.objektfabrik.de Language: English - Date: 2015-04-20 07:46:09 Software engineering Computer programming Programming language theory Object-oriented programming languages Smalltalk Seaside
888	vCard 4.0 [draft-ietf-vcarddav-vcardrev-09] Simon Perreault Viagénie Add to Reading List Source URL: www.viagenie.ca Language: English - Date: 2009-11-10 23:23:36 Computer file formats Markup languages Technical communication VCard
889	JPL Java Coding Standard JPL Institutional Coding Standard for the Java Programming Language Version 1.0 Published March 31, 2014 Add to Reading List Source URL: www.havelund.com Language: English - Date: 2014-06-30 12:26:27 Computing Software engineering Computer programming Cross-platform software Java Data types Procedural programming languages Type conversion Type theory Relational operator C Integer overflow
890	CONTEXT–FREE LANGUAGES OF SUB–EXPONENTIAL GROWTH MARTIN R. BRIDSON AND ROBERT H. GILMAN Abstract. There do not exist context–free languages of intermediate growth. The function γ whose value at each non–negativ Add to Reading List Source URL: www.math.stevens.edu Language: English - Date: 2009-06-24 06:22:13 Formal languages Combinatorics on words Mathematics Theoretical computer science Model theory Academia Geometric group theory

UPDATE